$\forall$$a$,$b$:$\mathbb{B}$. Dec($a$ = $b$)